#
# Makefile for the linux kernel.
#

obj-y					:= virt.o
obj-$(CONFIG_SMP)			+= platsmp.o
